home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
PC World 2008 September
/
PCWorld_2008-09_cd.bin
/
v cisle
/
sadanastroju
/
greasemonkey-0.8.20080609.0-fx.xpi
/
chrome
/
greasemonkey.jar
/
chromeFiles
/
content
/
prefmanager.js
< prev
next >
Wrap
Text File
|
2008-06-09
|
4KB
|
144 lines
var GM_prefRoot = new GM_PrefManager();
GM_PrefManager.MIN_INT_32 = -0x80000000;
GM_PrefManager.MAX_INT_32 = 0x7FFFFFFF;
/**
* Simple API on top of preferences for greasemonkey.
* Construct an instance by passing the startPoint of a preferences subtree.
* "greasemonkey." prefix is assumed.
*/
function GM_PrefManager(startPoint) {
if (!startPoint) {
startPoint = "";
}
startPoint = "greasemonkey." + startPoint;
var pref = Components.classes["@mozilla.org/preferences-service;1"]
.getService(Components.interfaces.nsIPrefService)
.getBranch(startPoint);
var observers = {};
const nsISupportsString = Components.interfaces.nsISupportsString;
/**
* whether a preference exists
*/
this.exists = function(prefName) {
return pref.getPrefType(prefName) != 0;
};
/**
* returns the named preference, or defaultValue if it does not exist
*/
this.getValue = function(prefName, defaultValue) {
var prefType = pref.getPrefType(prefName);
// underlying preferences object throws an exception if pref doesn't exist
if (prefType == pref.PREF_INVALID) {
return defaultValue;
}
try {
switch (prefType) {
case pref.PREF_STRING:
return pref.getComplexValue(prefName, nsISupportsString).data;
case pref.PREF_BOOL:
return pref.getBoolPref(prefName);
case pref.PREF_INT:
return pref.getIntPref(prefName);
}
} catch(ex) {
return defaultValue != undefined ? defaultValue : null;
}
return null;
};
/**
* sets the named preference to the specified value. values must be strings,
* booleans, or integers.
*/
this.setValue = function(prefName, value) {
var prefType = typeof(value);
var goodType = false;
switch (prefType) {
case "string":
case "boolean":
goodType = true;
break;
case "number":
if (value % 1 == 0 &&
value >= GM_PrefManager.MIN_INT_32 &&
value <= GM_PrefManager.MAX_INT_32) {
goodType = true;
}
break;
}
if (!goodType) {
throw new Error("Unsupported type for GM_setValue. Supported types " +
"are: string, bool, and 32 bit integers.");
}
// underlying preferences object throws an exception if new pref has a
// different type than old one. i think we should not do this, so delete
// old pref first if this is the case.
if (this.exists(prefName) && prefType != typeof(this.getValue(prefName))) {
this.remove(prefName);
}
// set new value using correct method
switch (prefType) {
case "string":
var str = Components.classes["@mozilla.org/supports-string;1"]
.createInstance(nsISupportsString);
str.data = value;
pref.setComplexValue(prefName, nsISupportsString, str);
break;
case "boolean":
pref.setBoolPref(prefName, value);
break;
case "number":
pref.setIntPref(prefName, Math.floor(value));
break;
}
};
/**
* deletes the named preference or subtree
*/
this.remove = function(prefName) {
pref.deleteBranch(prefName);
};
/**
* call a function whenever the named preference subtree changes
*/
this.watch = function(prefName, watcher) {
// construct an observer
var observer = {
observe:function(subject, topic, prefName) {
watcher(prefName);
}
};
// store the observer in case we need to remove it later
observers[watcher] = observer;
pref.QueryInterface(Components.interfaces.nsIPrefBranchInternal).
addObserver(prefName, observer, false);
};
/**
* stop watching
*/
this.unwatch = function(prefName, watcher) {
if (observers[watcher]) {
pref.QueryInterface(Components.interfaces.nsIPrefBranchInternal).
removeObserver(prefName, observers[watcher]);
}
};
}